# -*- mode: snippet -*-
# name: Set Dependent Propositions Elimination
# --
Set Dependent Propositions Elimination
